Categorization of Implicit Invocation Systems

نویسندگان

  • ROLANDO BLANCO
  • PAULO ALENCAR
  • Rolando Blanco
  • Paulo Alencar
چکیده

Development and maintenance of implicit invocation systems is not as well understood and supported as the development of explicit invocation systems. The situation is aggravated in systems that allow the composition of functionality developed by different organizations, potentially using different programming languages and methodologies. In this document, we categorize the various ways in which implicit invocation systems can define, bind to, announce, subscribe, and deliver events. We also categorize the architectures and topologies of implicit invocation systems. The purpose of the categorization is to increase the understanding of the type of requirements that these systems impose on software development practices. As the categories are introduced, documented representative invocation systems are discussed in order to illustrate the types of systems that fall under each given category. Our categorization applies to systems as varied as active databases, aspect-oriented applications, and distributed heterogeneous event-based systems.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards a Formal Treatment of Implicit Invocation

Implicit invocation [SN92,GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cation formalisms for such systems. A formal computational model for implicit invocation is presented. We develop a veri cation framework for implicit invocation that is based on Jones' rely/guarantee reasoning for concur...

متن کامل

The Event Notification Pattern - Integrating Implicit Invocation with Object-Orientation

Managing inter-object dependencies in object-oriented systems is a complex task. Changes of one object often require dependent objects to change accordingly. Making every object explicitly inform every dependent object about its state changes intertwines object interfaces and implementations, thereby hampering system evolution and maintenance. These problems can be overcome by introducing the n...

متن کامل

Using source transformation to test and model check implicit-invocation systems

In this paper we present a source transformation-based framework to support uniform testing and model checking of implicit-invocation software systems. The framework includes a new domain-specific programming language, the Implicit-Invocation Language (IIL), explicitly designed for directly expressing implicit-invocation software systems, and a set of formal rule-based source transformation too...

متن کامل

Adding Implicit Invocation to Languages: Three Approaches

Implicit invocation based on event announcement is an increasingly important technique for integrating systems. However, the use of this technique has largely been con ned to tool integration systems|in which tools exist as independent processes|and special-purpose languages|in which specialized forms of event broadcast are designed into the language from the start. This paper broadens the clas...

متن کامل

Model Checking Implicit-Invocation Systems: An Approach to the Automatic Analysis of Architectural Styles

In general, model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially difficult to analyze software systems developed with the implicitinvocation architectural style because the loose coupling of their components increases the size of the finite state model. It is the goal of th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007